The Ackermann Award 2010

The eighth Ackermann Award is presented at this CSL’12, held in Fontainebleau, France. This is the sixth year in which the EACSL Ackermann Award is generously sponsored. Our sponsor for the period 2011–2013 is the Kurt Gödel Society. Besides providing financial support for the Ackermann Award, the KGS also committed itself to inviting recipients of the Award for a special lecture to be given in Vienna. Eligible for the 2012 Ackermann Award were PhD dissertations in topics specified by the EACSL and LICS conferences, which were formally accepted as PhD theses at a university or equivalent institution between 1.1. 2010 and 31.12. 2011. The Jury received 7 nominations for the Ackermann Award 2012. The candidates came from 7 different nationalities from Europe, Australia, and South America, and received their PhDs in 6 different countries in Europe (2 in UK). Only two candidates received the PhD in the country of their origin. All the submissions were of very high standard and contained remarkable results in their particular domain. The Jury wishes to congratulate all the nominated candidates for their outstanding work. The Jury encourages them to continue their scientific careers, and hopes to see more of their work in the future. The jury decided finally, to give for the year 2012 two awards, one for work in lambda calculus, and one for work in automata theory. The 2012 Ackermann Award winners are, in alphabetical order Andrew Polonsky from Ukraine, for his thesis Proofs, Types and Lambda Calculus issued by University of Bergen, Norway, in 2011, supervised by Marc Bezem, Szymon Toruńczyk from Poland, for his thesis Languages of profinite words and the limitedeness problem issued by University of Warsaw, Poland, in 2011, supervised by Mikołaj Bojańczyk.